#include <stdlib.h>
#include <stdio.h>
#include "../include/kernel.h"

Kernel *kernel_create(Processor *processor, Interrupt *interrupt, Memory *memory, Disco *disco, Console *console, Timer *timer)
{
	Kernel *kernel = (Kernel *) malloc(sizeof(Kernel));
	kernel -> p = processor;
	kernel -> i = interrupt;
	kernel -> m = memory;
	kernel -> d = disco;
	kernel -> c = console;
	kernel -> t = timer;

	return kernel;
}

void *run_kernel (int hardwareInterruptNumber) //COLOCAR AQUI O PROCESSOR ?
{
	printf("Kernel called for int ", hardwareInterruptNumber);
}

